Botella, Arnaud: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Indirect unstructured hex-dominant mesh generation using tetrahedra recombination

Botella, Arnaud, Lévy, Bruno, Caumon, Guillaume

Journal:

Computational Geosciences

Year:

2016

Language:

english

File:

PDF, 3.03 MB

english, 2016

2

Elements for measuring the complexity of 3D structural models: Connectivity and geometry

Pellerin, Jeanne, Caumon, Guillaume, Julio, Charline, Mejia-Herrera, Pablo, Botella, Arnaud

Journal:

Computers & Geosciences

Year:

2015

Language:

english

File:

PDF, 23.48 MB

english, 2015

3

Automatic surface remeshing of 3D structural models at specified resolution: A method based on Voronoi diagrams

Pellerin, Jeanne, Lévy, Bruno, Caumon, Guillaume, Botella, Arnaud

Journal:

Computers & Geosciences

Year:

2014

Language:

english

File:

PDF, 7.68 MB

english, 2014

4

RINGMesh: A programming library for developing mesh-based geomodeling applications

Pellerin, Jeanne, Botella, Arnaud, Bonneau, François, Mazuyer, Antoine, Chauvin, Benjamin, Lévy, Bruno, Caumon, Guillaume

Journal:

Computers & Geosciences

Year:

2017

Language:

english

File:

PDF, 921 KB

english, 2017

5

3D modeling from outcrop data in a salt tectonic context: Example from the Inceyol minibasin, Sivas Basin, Turkey

Collon, Pauline, Pichat, Alexandre, Kergaravat, Charlie, Botella, Arnaud, Caumon, Guillaume, Ringenbach, Jean-Claude, Callot, Jean-Paul

Journal:

Year:

2016

Language:

english

File:

PDF, 9.49 MB

english, 2016

6

Symbolic execution of floating-point computations

Bernard Botella, Arnaud Gotlieb, Claude Michel

Journal:

Software Testing, Verification and Reliability

Year:

2006

Language:

english

File:

PDF, 277 KB

english, 2006

7

Automatic test data generation using constraint solving techniques

Gotlieb, Arnaud, Botella, Bernard, Rueher, Michel

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1998

Language:

english

File:

PDF, 822 KB

english, 1998

8

Infeasible path generalization in dynamic symbolic execution

Delahaye, Mickaël, Botella, Bernard, Gotlieb, Arnaud

Journal:

Information and Software Technology

Year:

2015

Language:

english

File:

PDF, 1.64 MB

english, 2015

9

Goal-oriented test data generation for pointer programs

Arnaud Gotlieb, Tristan Denmat, Bernard Botella

Journal:

Information and Software Technology

Year:

2007

Language:

english

File:

PDF, 669 KB

english, 2007

10

[Society of Exploration Geophysicists SEG Technical Program Expanded Abstracts 2015 - New Orleans, Louisiana (18 October to 23 October)] SEG Technical Program Expanded Abstracts 2015 - Homogenization of 3d geological models for seismic wave propagation

Cupillard*, Paul, Botella, Arnaud

Language:

english

File:

PDF, 1.31 MB

english

11

[IEEE 2010 Third International Conference on Software Testing, Verification and Validation - Paris, France (2010.04.6-2010.04.10)] 2010 Third International Conference on Software Testing, Verification and Validation - Explanation-Based Generalization of Infeasible Path

Delahaye, Mickaël, Botella, Bernard, Gotlieb, Arnaud

Year:

2010

Language:

english

File:

PDF, 340 KB

english, 2010

12

Modelling dynamic memory management in constraint-based testing

Florence Charreteur, Bernard Botella, Arnaud Gotlieb

Journal:

Journal of Systems and Software

Year:

2009

Language:

english

File:

PDF, 1.62 MB

english, 2009

13

[IEEE Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007) - Windsor, UK (2007.09.10-2007.09.14)] Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007) - Modelling Dynamic Memory Management in Constraint-Based Testing

Charreteur, Florence, Botella, Bernard, Gotlieb, Arnaud

Year:

2007

Language:

english

File:

PDF, 684 KB

english, 2007

14

Pattern of Closure of Skull Base Synchondroses in Crouzon Syndrome

Coll, Guillaume, Sakka, Laurent, Botella, Céline, Pham-Dang, Nathalie, Collet, Corine, Zerah, Michel, Arnaud, Eric, Di Rocco, Federico

Journal:

World Neurosurgery

Year:

2017

Language:

english

File:

PDF, 2.06 MB

english, 2017

15

[IEEE Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007) - Windsor, UK (2007.09.10-2007.09.14)] Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007) - Modelling Dynamic Memory Management in Constraint-Based Testing

Charreteur, Florence, Botella, Bernard, Gotlieb, Arnaud

Year:

2007

Language:

english

File:

PDF, 684 KB

english, 2007

16

[ACM Press the 20th IEEE/ACM international Conference - Long Beach, CA, USA (2005.11.07-2005.11.11)] Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering - ASE '05 - Constraint-based test data generation in the presence of stack-directed pointers

Gotlieb, Arnaud, Denmat, Tristan, Botella, Bernard

Year:

2005

Language:

english

File:

PDF, 119 KB

english, 2005

17

[ACM Press ACM SIGSOFT international symposium - Clearwater Beach, Florida, United States (1998.03.02-1998.03.04)] Proceedings of ACM SIGSOFT international symposium on Software testing and analysis - ISSTA '98 - Automatic test data generation using constraint solving techniques

Gotlieb, Arnaud, Botella, Bernard, Rueher, Michel

Year:

1998

Language:

english

File:

PDF, 822 KB

english, 1998

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски